chain rule backwards vs. explicit substitution